On optimality of one‐bug‐look‐ahead policies for a software testing model

The optimality of the One‐Bug‐Look‐Ahead (OLA) software release policy proposed by Morali and Soyer ( 15 ) is re‐examined in this paper. A counterexample is constructed to show that OLA is not optimal in general. The optimal stopping approach is then called upon to prove that OLA possesses weaker sense of optimality under conditional monotonicity and the strong sense of optimality holds under a more restrictive sample‐wise monotonicity condition. The NTDS data are analyzed for illustration, and OLA is shown to be robust with respect to model parameters. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

机械产品的可靠性参数与指标

从机械产品故障的特点出发,将机械产品的可靠性区分为无故障性和耐久性,提出了相应的可靠性参数,进而分析了无故障性指标与耐久性指标的协调性,探讨了耐久性判断准则等相关问题,最后给出了无故障性与耐久性指标协调的实例。     

基于领域知识的仿真策略及其在可靠性设计决策中的应用

在可靠性工程的需求驱动下,提出了一种描述性的模型框架:"功能仿真模型"。该模型既明确引入了反映系统工作原理的性能领域知识,又能刻画系统的功能逻辑关系,还能建立性能与功能的联系。在此基础上给出了可操作的、基于领域知识的仿真策略———在性能仿真基础上进行功能推理。最后讨论了该仿真策略在可靠性工程中的应用途径。     

三态部件的可靠性分析

本文给出完备的三态部件的可靠性模型类。从静态的观点来看,三态部件的可靠性模型有两类：（１）成功,降格成功,失败;（２）成功,双失败。从动态的观点来看,考虑到三个状态之间的转化关系,其模型类相对复杂;但是在失败率λ、维修率μ为常数的条件下,只需六个参数（λ１λ２λ３μ１μ２μ３）,便可以用马尔可夫模型给出三态部件的可靠性统一模型,并给出部件在三状态的概率函数Ｐｉ（ｔ）的解析表达式（ｔ为时间,ｉ表示状态）。     

坦克分队行军中技术保障的概率模型

为了评价技术保障在行军中的作用,本文建立了在没有敌人炮火作用下,坦克在行军过程中所处状态的数学模型,该数学模型对合理运用技术保障的力量具有指导意义,并通过实例评价了技术保障对装备完好性及长距离行军后战斗能力的影响。     

复杂系统研制阶段可靠性增长的评估模型

针对复杂系统可靠性增长管理中采取延缓修正的故障修正方式，提出了一种系统阶段可靠性增长的评估模型。在阶段ｋ应用Ｂａｙｅｓ定理，得出系统可靠性的点估计、置信区间估计，并对评估结果进行任务周期修正；通过λｋ的先验分布利用前面１，…，ｋ－１阶段试验的信息，在相邻的两个阶段，引入增长因子０＜ηｋ＜１以表现可靠性的增长。最后给出一个应用实例。     

基于微裂纹模型的材料可靠性预计

讨论了微裂纹的某些不同于大型裂纹的增长特性,提出了一种微裂纹在某种材料上的多级扩展模型,利用微裂纹的增长数据来预计材料的可靠性。     

软件可靠性数学仿真测试平台设计与研制

针对火控软件的特点和要求,研制出面向软件可靠性验证的数学仿真测试平台,并根据典型的火控程序,有效地完成了分析与测试工作.测试系统界面友好,测试结果达到设计要求.     

战车火控系统软件可靠性的仿真测试平台

以平均无故障时间间隔(MTBF)和任务成功率为主指标,以某型坦克火控系统为载体,提出了战车非制导武器火控系统软件可靠性仿真测试平台的方案,并对其软件可靠性的仿真测试与验证技术进行了讨论.     

装备系统保障性的界定探讨

本文通过对武器装备的保障、保障性的定义与内涵、保障性参数、保障性与可靠性以及维修性的界面处理等问题的研究,探讨装备系统保障性的界定问题.